Petri net semantics of priority systems

Petri net semantics

ion Another rather more speculative area for further research seeks to use the net semantics to develop a more abstract account of the logic, where we abstract away the role of the heap conditions from the semantics. To replace them, we label the control conditions with a formula of the heap logic. Events will be labelled to characterize their effect as actions on the state. For example, we mig...

Simplification of a Petri Net controller in industrial systems

This paper deals with the problem of forbidden states in discrete event systems modeled by Petri Net. To avoid the forbidden states, some constraints which are called Generalized Mutual Exclusion Constraints can be assigned to them. Enforcing these constraints on the system can be performed using control places. However, when the number of these constraints is large, a large number of control p...

Towards a Petri Net Semantics for Membrane Systems

We consider the modelling of the behaviour of membrane systems using Petri nets. First, a systematic, structural, link is established between a basic class of membrane systems and Petri nets. To capture the compartmentisation of membrane systems, localities are proposed as an extension of Petri nets. This leads to a locally maximal concurrency semantics for Petri nets. We indicate how processes...

Petri Net Modeling for Parallel Bank ATM Systems

In this paper the real time operation of an automatic teller machine (ATM) is analyzed using aTimed Petri Net (TPN) model. In the modeling, the probability of arrivals, the speed andattentiveness of customers (clients) are taken to account. Different parameters are based onthe statistical data. The model is simulated for 24 hours. The diagrams of number ofsucceeded customers, failed references ...

On Occurrence Net Semantics of Petri Nets